Modelling Inference in Argumentation through Labelled Deduction: Formalization and Logical Properties

Modelling Inference in Argumentation through Labelled Deduction: Formalization and Logical Properties

Artificial Intelligence (AI) has long dealt with the issue of finding a suitable formalization for commonsense reasoning. Defeasible argumentation has proven to be a successful approach in many respects, proving to be a confluence point for many alternative logical frameworks. Different formalisms have been developed, most of them sharing the common notions of argument and warrant. In defeasibl...

Modelling Argumentation in a Logic-Programming Setting: Formalization and Logical Properties

Defeasible argumentation [17, 5, 14] has proven to be a successful approach to ̄nding a suitable formalization for reasoning with incomplete and potentially inconsistent information. Recent research (notably [1]) has shown that defeasible argumentation constitutes a con°uence point for characterizing traditional approaches to non-monotonic reasoning (such as Gelfond's extended logic programming ...

Modeling Argumentation with Labeled Deduction: Formalization and Theoretical Considerations

In the last years there has been an increasing demand of a variety of logical systems, prompted mostly by applications of logic in AI, logic programming and other related areas. Labeled Deductive Systems (LDS) were developed as a °exible methodology to formalize such a kind of complex logical systems. During the last decade defeasible argumentation has proven to be a con°uence point for many ap...

A logic programming framework for possibilistic argumentation: Formalization and logical properties

In the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has shown to be particularly useful for developing different argument-based frameworks on the basis of different variants of logic programming which incorporate defeasible rules. Most of such frameworks, however, are unable...

Formalization of Algorithms and Logical Inference Systems in Proof Assistants